w{-}after($w$; $x$; $e$)($t$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$w{-}s($w$; ($e$.1); (($e$.2)+1); $x$)($t$ {-} 1)